Rigorous Development in UML
نویسندگان
چکیده
The Uni ed Modelling Language (UML) is becoming the de facto industry standard notation for object-oriented analysis and design. In this paper we propose a development process using UML and other notations which supports formal analysis and veri cation, so enabling the notation to be used for highly critical systems. We will illustrate the development process using a small example of a tra c light control system.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملRigorous development of JavaCard applications
We present an approach to rigorous, tool supported design and development of JavaCard applications. We employ the Unified Modelling Language (UML) and formal methods for object oriented software development in our approach. Our goal is to make JavaCard applications robust “by design”, to make the development process independent of the JavaCard platform used and to enable applications to be veri...
متن کاملModelling requirements with UML : a rigorous approach ( Doing requirements well with UML ) Half - day tutorial proposal Proposers
The tutorial addresses the problems connected with requirements modelling in a UMLbased development process. UML supports requirements modelling by means of use cases. This practice suffers from several limitations, especially as use cases are quite informal descriptions –thus allowing ambiguities and misinterpretation of requirements– and they are not object-oriented –thus making traceability ...
متن کاملFormalizing UML for Rigorous Software Development
Formalizing a modeling technique broaches issues including development of software specification, design, analysis, and synthesis. Software engineering methodologies should be grounded on rigorous principles and not on ad hoc approaches. Our approach is to integrate the recently published industrial standard graphic notation UML (Unified Modeling Language), for object-oriented modeling, and PVS...
متن کاملMeta-Modelling Semantics of UML
--------OO modelling notations such as the UML embody high-quality modelling experiences, but the lack of precise semantics for the notations prohibits rigorous analysis of the models. In this paper we examine how the existing semantics of UML can be strengthened to support the development of rigorous analysis and proof techniques. Our
متن کاملTowards a Rigorous Approach to UML-Based Development
We discuss the promises and problems of UML-based development. We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999